Valuasi Lingkungan TCM di Bogor Mini Zoo Kota Bogor

THE EASST NEWSLETTER Bogor: An Extensible Framework for Domain-Specific Model Checking

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Poultry value chains and HPAI in Indonesia: The case of Bogor

Analysis Various Factors that Influence the Purchasing Behavior of Goat Milk in Bogor Regency, Indonesia

This study were aimed to analyze the market segmentation of goat milk in the Bogor region, Indonesia and to analyze the consumer characteristics and factors which affecting consumer behavior in consuming goat milk in order to serve as the basic data in formulating the marketing strategies of goat's milk in Bogor Regency. The subjects of this study were agents, retailers and goat milk consumers....

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Occurrence and Antibiotic Resistance of Escherichia coli in Street-Vended Kebab in Dramaga, Bogor, Indonesia

Background: Kebab is one of the popular ready-to-eat foods in Indonesia and sold as a street food. The purpose of this study was to determine occurrence and antibiotic resistance of Escherichia coli in street-vended kebab in Dramaga, Bogor, Indonesia. Methods: Totally, 43 samples of kebab meat were collected from street food kebab vendors. Examinations on Total Plate Count (TPC), and total E. ...